Issue3163.agda:11,8-9
Not in scope:
  A at Issue3163.agda:11,8-9
when scope checking A
